TR-2007012: The Relative Expressivity of Public and Private Communication in BMS Logic

نویسنده

  • Bryan Renne
چکیده

Dynamic Epistemic Logic (DEL) is the study of formal logics that reason about knowledge change. In DEL research, events that cause changes in knowledge are called updates. One class of updates—the BMS updates due to Baltag, Moss, and Solecki—has received much attention in the DEL literature because of the joint expressive power of the various BMS Logics based on these updates. There is, however, very little known about the relative expressive power of the BMS Logics based on individual BMS updates. The purpose of the present paper is two-fold. First, we provide a succinct, self-contained exposition of the rather complicated syntax and semantics for the class of BMS Logics. Second, we study the relative expressivity of BMS Logics for public and private communication. The results we obtain are a first-step in a larger study whose aim is to characterize the relative expressive power of BMS Logics in general.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

The Relative Expressivity of Public and Private Communication in BMS Logic

Dynamic Epistemic Logic (DEL) is the study of formal logics that reason about knowledge change. In DEL research, events that cause changes in knowledge are called updates. One class of updates—the BMS updates due to Baltag, Moss, and Solecki—has received much attention in the DEL literature because of the joint expressive power of the various BMS Logics based on these updates. There is, however...

متن کامل

TR-2008001: Public and Private Communication Are Different: Results on Relative Expressivity

Dynamic Epistemic Logic (DEL) is the study of how to reason about knowledge, belief, and communication. This paper studies the relative expressivity of certain fragments of the DEL language for public and private communication. It is shown that the language of public communication with common knowledge and the language of private communication with common knowledge are expressively incomparable...

متن کامل

Public and private communication are different: results on relative expressivity

Dynamic Epistemic Logic (DEL) is the study of how to reason about knowledge, belief, and communication. This paper studies the relative expressivity of certain fragments of the DEL language for public and private communication. It is shown that the language of public communication with common knowledge and the language of private communication with common knowledge are expressively incomparable...

متن کامل

TR-2007025: Public Communication in Justification Logic

Justification Logic is the study of a family of logics used to reason about justified true belief. Dynamic Epistemic Logic is the study of a family of logics obtained by adding various kinds of communication to the language of multi-modal logic, yielding languages for reasoning about communication and true belief. This paper is a first-step in merging these two areas, in that it brings the most...

متن کامل

Social Logic of Kitchen Space in Vernacular Architecture (Case Study: Qeshm Housing) – Examination and Analysis

Culture and social relations play a significant role in the formation of the structure of vernacular housing of any region, especially in the Islamic countries where privacy has a considerable effect on the vernacular culture, and consequently, on the house’s structure. Among the house spaces, the kitchen is more affected than other spaces by such issues so that its relations pattern with other...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2016